Ageing voices: The effect of changes in voice parameters on ASR performance Ravichander Vipperla, Steve Renals, Joe Frankel The Center for Speech Technology Research, School of Informatics, University of Edinburgh Abstra

Source URL: www.cstr.ed.ac.uk

Towards automatic detection of reported speech in dialogue using prosodic cues Alessandra Cervone1 , Catherine Lai1 , Silvia Pareti1 ,2 , Peter Bell1 1 School of Informatics, University of Edinburgh, Edinburgh EH8 9AB,

Source URL: www.cstr.ed.ac.uk

• Linguistics
• Phonology
• Phonetics
• Prosody
• Systemic functional linguistics
• Prosodic unit
• Intonation
• Formulaic language
• Speech recognition
• International Phonetic Alphabet
• Bootstrapping
• Dysprosody

Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨

Source URL: www.informatik.uni-bremen.de

The Importance of Non-theorems and Counterexamples in Program Verification Graham Steel School of Informatics, University of Edinburgh, Edinburgh, EH8 9LE, Scotland.

Source URL: vstte.ethz.ch

Hybrid Reinforcement/Supervised Learning for Dialogue Policies from COMMUNICATOR data James Henderson and Oliver Lemon and Kallirroi Georgila School of Informatics University of Edinburgh 2 Buccleuch Place, Edinburgh EH8

Source URL: cui.unige.ch

Model Checking Infinite State Spaces Javier Esparza Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh

Source URL: www7.in.tum.de

The Essence of Form Abstraction? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstract. Abstraction is the cornerstone of high-level programming; HTML forms ar

Source URL: groups.inf.ed.ac.uk

Relational Parametricity for Computational Effects Rasmus Ejlers Møgelberg∗ Alex Simpson† LFCS, School of Informatics University of Edinburgh, Scotland, UK Abstract

Source URL: www.itu.dk

Report about 20th ACM Virtual Reality Software Technology (VRSTTaku Komura (University of Edinburgh) 1. Overview The VRST 2014 conference was held in the Informatics Forum, School of Informatics, University of Edi

Source URL: www.sicsa.ac.uk

Algebras for Parameterised Monads Robert Atkey LFCS, School of Informatics, University of Edinburgh, UK Abstract. Parameterised monads have the same relationship to adjunctions with parameters as mona

Source URL: bentnib.org